Designing of a new seismic base isolation system

The design of a new base isolation system is proposed in this research with the objective that the system does not transmit any force to the structure under horizontal loading. The structure must remain operational and steady. Before investigating the dynamics problem of the base isolation system, the isolator components of the model can be solved analytically using different approaches. In order to calculate the deformation of any element of the isolator due to a compressive vertical load, the analysis focuses on the primary instability region to determine all deformations parameters which can lead to frictions coefficients. This region is located at the interaction contact point between the elements. The design is based on the contact point developed by different approaches. In the present study, the mathematical analysis methods by using formulations can calculate the different dimensions and deformations of the elements of the system and which are verified using ANSYS finite element analysis.  After ensuring the adequate dimensions of the different parts of the isolator system from the analysis, the system can be applied on the structure. This technique can reduce significantly the displacements and accelerations at the underground level with a new seismic isolation system, which it is an uncoupled system between the structure and the underground

Toward Smart Moving Target Defense for Linux Container Resiliency

This paper presents ESCAPE, an informed moving target defense mechanism for cloud containers. ESCAPE models the interaction between attackers and their target containers as a "predator searching for a prey" search game. Live migration of Linux-containers (prey) is used to avoid attacks (predator) and failures. The entire process is guided by a novel host-based behavior-monitoring system that seamlessly monitors containers for indications of intrusions and attacks. To evaluate ESCAPE effectiveness, we simulated the attack avoidance process based on a mathematical model mimicking the prey-vs-predator search game. Simulation results show high container survival probabilities with minimal added overhead.Comment: Published version is available on IEEE Xplore at http://ieeexplore.ieee.org/document/779685

Designing of a new seismic base isolation system

The design of a new base isolation system is proposed in this research with the objective that the system does not transmit any force to the structure under horizontal loading. The structure must remain operational and steady. Before investigating the dynamics problem of the base isolation system, the isolator components of the model can be solved analytically using different approaches. In order to calculate the deformation of any element of the isolator due to a compressive vertical load, the analysis focuses on the primary instability region to determine all deformations parameters which can lead to frictions coefficients. This region is located at the interaction contact point between the elements. The design is based on the contact point developed by different approaches. In the present study, the mathematical analysis methods by using formulations can calculate the different dimensions and deformations of the elements of the system and which are verified using ANSYS finite element analysis.  After ensuring the adequate dimensions of the different parts of the isolator system from the analysis, the system can be applied on the structure. This technique can reduce significantly the displacements and accelerations at the underground level with a new seismic isolation system, which it is an uncoupled system between the structure and the underground

Fast method to find conflicts in optical multistage interconnection networks

One undesirable problem introduced by the Optical Multistage Interconnection network is a crosstalk that is caused by coupling two signals within a switching element. To avoid a crosstalk, many approaches have been proposed such as time domain and space domain approaches. Because the messages should be partitioned into several groups to send to the network, some methods are used to find conflicts between the messages. Window Method is used to find out which messages have conflict and should not be in the same group. In this paper, fast window method based on bitwise operations (BWM) is represented. This algorithm applies Omega network. The comparison result shows the good performance of this algorithm. This algorithm reduces the execution time approximately more than ten times compared with previous algorithms

LCF-style Platform based on Multiway Decision Graphs

AbstractThe combination of state exploration approach (mainly model checking) and deductive reasoning approach (theorem proving) promises to overcome the limitation and to enhance the capabilities of each. In this paper, we are interested in defining a platform for Multiway Decision Graphs (MDGs) in LCF-style theorem prover. We define a platform to represent the MDG operations: conjunction, disjunction, relational product and prune-by-subsumption as a set of inference rules. Based on this platform, the reachability analysis is implemented as a conversion that uses the MDG theory within the HOL theorem prover. Finally, we present some experimental results to show the performance of the MDG operations of our platform

Electrochemical behaviour of dysprosium (III) in LiF–CaF2 on Mo, Ni and Cu electrodes

The electrochemical behaviour of dysprosium(III) was investigated in the LiF–CaF2 eutectic mixture on molybdenum, nickel and copper electrodes in the 840–930 °C temperature range using cyclic voltammetry, square wave voltammetry and chronopotentiometry. On Mo electrode, the study showed that Dy(III) ions were reduced into Dy metal in a one-step diffusion-controlled process exchanging three electrons: View the MathML source The diffusion coefficients verify the Arrhenius law, allowing the activation energy to be calculated. The study of the electrochemical reduction of Dy(III) ions on reactive electrodes (Ni, Cu) first by cyclic voltammetry showed that the reduction potential of Dy(III)/Dy on reactive electrodes was observed at more positive values than those on inert electrode and then open-circuit chronopotentiometry put into evidence the formation of intermetallic compounds at more anodic potentials than pure dysprosium. Preparation of alloys layers was finally carried out by intentiostatic electrolyses at underpotential compared to the pure metal deposition; SEM observations of the layer allowed the most stable compounds prepared by this way to be identified

Effects of novel muscarinic M3 receptor ligand C1213 in pulmonary arterial hypertension models.

Pulmonary hypertension (PH) is a complex disease comprising a pathologic remodeling and thickening of the pulmonary vessels causing an after load on the right heart ventricle that can result in ventricular failure. Triggered by oxidative stress, episodes of hypoxia, and other undetermined causes, PH is associated with poor outcomes and a high rate of morbidity. In the neonate, this disease has a similar etiology but is further complicated by the transition to breathing after birth, which requires a reduction in vascular resistance. Persistent pulmonary hypertension of the newborn (PPHN) is one form of PH that is frequently unresponsive to current therapies including inhaled nitric oxide (due to lack of proper absorption and diffusion), and other therapeutics targeting signaling mediators in vascular endothelium and smooth muscle. The need for novel agents, which target distinct pathways in pulmonary hypertension, remains. Herein, we investigated the therapeutic effects of novel muscarinic receptor ligand C1213 in models of PH We demonstrated that via M3 muscarinic receptors, C1213 induced activating- eNOS phosphorylation (serine-1177), which is known to lead to nitric oxide (NO) production in endothelial cells. Using signaling pathway inhibitors, we discovered that AKT and calcium signaling contributed to eNOS phosphorylation induced by C1213. As expected for an eNOS-stimulating agent, in ex vivo and in vivo models, C1213 triggered pulmonary vasodilation and induced both pulmonary artery and systemic blood pressure reductions demonstrating its potential value in PH and PPHN In brief, this proof-of-concept study provides evidence that an M3 muscarinic receptor functionally selective ligand stimulates downstream pathways leading to antihypertensive effects using in vitro, ex vivo, and in vivo models of PH